Nuprl Definition : es-msgtype
0,22
postcript
pdf
msgtype(
m
) == es-M(
es
)(mlnk(
m
),mtag(
m
))
latex
clarification:
es-msgtype(
es
;
m
) == es-M(
es
)(mlnk(
m
),mtag(
m
))
latex
Definitions
f
(
a
)
,
es-M(
es
)
,
mlnk(
m
)
,
mtag(
m
)
FDL editor aliases
es-msgtype
origin